منابع مشابه
A Usable Reachability Analyser
Reachability analysis consists in checking if a state satisfying some property is reachable. In this paper a solution to the problem of generating formulae expressing reachability properties for concrete models is suggested. The traditional methods either require the user to input the formula manually, which can be very tedious and error-prone, or automatically generate formulae for some fixed ...
متن کاملA spread spectrum network analyser
The paper describes the realisation of a Spread Spectrum Network Analyser using appropriate software to control a PC interface card, like a soundcard. The software generates a digitised time waveform consisting of a Spread Spectrum signal containing a number of equal amplitude spectral components. The interface card converts this waveform to an analogue signal, which is then passed through the ...
متن کاملA Soft Global Precedence Constraint
Hard and soft precedence constraints play a key role in many application domains. In telecommunications, one application is the configuration of callcontrol feature subscriptions where the task is to sequence a set of user-selected features subject to a set of hard (catalogue) precedence constraints and a set of soft (user-selected) precedence constraints. When no such consistent sequence exist...
متن کاملBioprospecting: a CAM Frontier
With Volume 2 of eCAM, we begin to intensify the inclusion of complementary and alternative medicine (CAM)-related natural products derived from plants and from animals (1). There will be an attempt to focus on products from animals, since we know that the literature tends to be ‘glutted’ with products derived from plants (1,2). In either case, both sources of natural products provide a veritab...
متن کاملThe cochlear geometry as a frequency analyser.
EVIDENCE concerning frequency analysis which was drawn together from several sources allowed the suggestion to be made that the design of the cochlea—i.e. its internal geometry—was itself a frequency analyser to a first approximation (Naftalin, 1965). Two sets of biological observations which seem to be of fundamental importance from the physical (acoustic) point of view may be cited as offerin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1976
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/19.2.122